Zum Inhalt springen
- {{#headlines}}
- {{title}} {{/headlines}}
Profil
| Derzeitige Stellung | Professor W-2 und Äquivalente |
|---|---|
| Fachgebiet | Softwaretechnik und Programmiersprachen,Theoretische Informatik |
| Keywords | analysis, correctness proofs, Software product line, return-on-investment, Implementation |
Aktuelle Kontaktadresse
| Land | Brasilien |
|---|---|
| Ort | Brasilia |
| Universität/Institution | Universidade de Brasilia (UnB) |
| Institut/Abteilung | Departamento de Ciencia da Computacao (CIC) |
Gastgeber*innen während der Förderung
| Prof. Dr. Sven Apel | Fakultät für Informatik und Mathematik, Universität Passau, Passau |
|---|---|
| Beginn der ersten Förderung | 01.04.2017 |
Programm(e)
| 2016 | CAPES-Humboldt-Forschungsstipendien-Programm für erfahrene Forschende |
|---|
Publikationen (Auswahl)
| 2020 | Eneias Silva, Alessandro Leite, Vander Alves, Sven Apel: ExpRunA a domain-specific approach for technology-oriented experiments. In: Software and Systems Modeling, 2020, 493-526 |
|---|---|
| 2018 | Thiago Castro, André Lanna, Vander Alves, Leopoldo Teixeira, Sven Apel, Pierre-Yves Schobbens : All roads lead to Rome: Commuting strategies for product-line reliability analysis. In: Science of Computer Programming, 2018, 116-160 |
| 2018 | André Lanna, Thiago Castro, Vander Alves, Genaína Rodrigues, Pierre-Yves Schobbens, Sven Apel : Feature-family-based reliability analysis of software product lines. In: Information and Software Technology, 2018, 59-81 |